楔 (wedge)
圖式$ A\xleftarrow{x_1}X\xrightarrow{x_2}Bを「$ A と$ B への楔 (wedge)」と言ふ 圈$ \bf C,$ \bf Dと對象$ D_{\in|{\bf D}|}への定値函手$ \Delta_Dと雙函手$ {\bf C}^{\rm op}\times{\bf C}\to{\bf D}について、雙自然變換$ \alpha:\Delta_D\Rarr Fを「$ Dに於ける$ Fの楔 (wedge)」と言ひ$ \alpha:D\ddot{\to}Fと書く 射$ \alpha_C:D\to F(C,C)の內で可換圖式$ D\xrightarrow{\alpha_C}F(C,C)\xrightarrow{F({\rm id}_C,f)}F(C,C')\xleftarrow{F(g,{\rm id}_{C'})}F(C',C')\xleftarrow{\alpha_{C'}}Dを滿たすものの族を言ふ